$\forall$${\it es}$:ES, ${\it ff}$:FIFO, ${\it f2f+}$:F2F+{-}decls. is\_req   $\in$ E$\rightarrow\mathbb{P}$